Iterated Belief Change: A Transition System Approach
نویسندگان
چکیده
We use a transition system approach to reason about the evolution of an agent’s beliefs as actions are executed. Some actions cause an agent to perform belief revision and some actions cause an agent to perform belief update, but the interaction between revision and update can be nonelementary. We present a set of basic postulates describing the interaction of revision and update, and we introduce a new belief evolution operator that gives a plausible interpretation to alternating sequences of revisions and updates.
منابع مشابه
Iterated Belief Change Due to Actions and Observations
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system approach to reason about the evolution of an agent’s beliefs as actions are executed. Some actions cause an agent to perform belief revision while others cause an agent to perform belief update, but the interaction be...
متن کاملIterated Belief Change in the Situation Calculus
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with this problem. In this paper, we offer a new approach to belief change associated with performing actions that addresses some of the shortcomings of these approaches. In particular, our approach is based on a well-devel...
متن کاملENTRENCHMENT KINEMATICS 101 yAbhaya
The AGM framework of belief dynamics fails to account for iterated belief change. This paper extends the AGM framework in order to solve this problem. As in the AGM, an epistemic input is represented as a single sentence. Unlike the AGM, however , a belief state is represented as an epistemic entrenchment relation. Three state transition functions { namely, entrenchment expansion, entrenchment ...
متن کاملExtending the Harper Identity to Iterated Belief Change
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e., contraction receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief ...
متن کاملA Dynamic Logic of Iterated Belief Change
In this paper we propose a general framework to study iterated changes of belief. Expansions, contractions and revisions are taken as actions which may be performed by an agent, resulting in a change of its beliefs. The syntax of the framework is given by a multi-modal language, containing modalities to reason about the agent's knowledge | representing its nondefeasible, veridical information |...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005